'''
Created on 14/05/2010

@author: Mar
'''

class ResourceManager:
    
    def __init__(self, aCollOfResources):
        self.collOfResources = aCollOfResources
        
    def getColl(self):
        return self.collOfResources
    
    def setColl(self, aColl):
        self.collOfResources = aColl
        
    def distribute(self, aPCB):
        self.collOfResources[aPCB.getCurrentInstructionType()].put(aPCB)
        